nonexpansive operator

不扩张算子